module;

#include "phasar/Pointer/AliasAnalysisType.h"
#include "phasar/Pointer/AliasInfo.h"
#include "phasar/Pointer/AliasInfoBase.h"
#include "phasar/Pointer/AliasInfoTraits.h"
#include "phasar/Pointer/AliasIterator.h"
#include "phasar/Pointer/AliasResult.h"
#include "phasar/Pointer/AliasSetOwner.h"
#include "phasar/Pointer/PointsToInfo.h"
#include "phasar/Pointer/PointsToIterator.h"

export module phasar.pointer;

export namespace psr {
using psr::AliasAnalysisType;
using psr::toAliasAnalysisType;
using psr::toString;
using psr::operator<<;
using psr::AliasAnalysisType;
using psr::AliasInfo;
using psr::AliasInfoBaseUtils;
using psr::AliasInfoRef;
using psr::AliasInfoTraits;
using psr::AliasIteratorRef;
using psr::AliasResult;
using psr::AnalysisProperties;
using psr::DefaultAATraits;
using psr::IsAliasInfo;
using psr::IsAliasIterator;
using psr::IsPointsToIterator;
using psr::toAliasResult;
using psr::toString;
using psr::operator<<;
using psr::AliasSetOwner;
using psr::is_equivalent_PointsToTraits_v;
using psr::is_PointsToTraits;
using psr::is_PointsToTraits_v;
using psr::PointsToInfo;
using psr::PointsToInfoBase;
using psr::PointsToInfoRef;
using psr::PointsToIterator;
using psr::PointsToIteratorRef;
using psr::PointsToTraits;
} // namespace psr
